Dec 03 17:52:36.493 INFO testing boolean_expression-0.3.8 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 03 17:52:36.493 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 17:52:36.761 INFO [stdout] 1f15edcd187ee16a73bc007394031510d2f531261a35315c69e523fba40d4e44
Dec 03 17:52:36.763 INFO running `"docker" "start" "-a" "1f15edcd187ee16a73bc007394031510d2f531261a35315c69e523fba40d4e44"`
Dec 03 17:52:37.774 INFO [stderr] usermod: no changes
Dec 03 17:52:37.872 INFO [stderr]    Compiling proc-macro2 v0.4.24
Dec 03 17:52:41.220 INFO [stderr]    Compiling quote v0.6.10
Dec 03 17:52:42.535 INFO [stderr]    Compiling syn v0.15.22
Dec 03 17:52:50.351 INFO [stderr]    Compiling indoc-impl v0.2.8
Dec 03 17:52:55.563 INFO [stderr]    Compiling indoc v0.2.8
Dec 03 17:52:55.916 INFO [stderr]    Compiling boolean_expression v0.3.8 (/source)
Dec 03 17:52:59.335 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 21.53s
Dec 03 17:52:59.335 INFO [stderr] su: No module specific data is present
Dec 03 17:52:59.909 INFO running `"docker" "inspect" "1f15edcd187ee16a73bc007394031510d2f531261a35315c69e523fba40d4e44"`
Dec 03 17:53:00.343 INFO running `"docker" "rm" "-f" "1f15edcd187ee16a73bc007394031510d2f531261a35315c69e523fba40d4e44"`
Dec 03 17:53:00.622 INFO [stdout] 1f15edcd187ee16a73bc007394031510d2f531261a35315c69e523fba40d4e44
Dec 03 17:53:00.628 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 17:53:01.191 INFO [stdout] 9dec78fcc76424a6872691941db75ff8ea82115defba147f5197bde8b3c803d6
Dec 03 17:53:01.199 INFO running `"docker" "start" "-a" "9dec78fcc76424a6872691941db75ff8ea82115defba147f5197bde8b3c803d6"`
Dec 03 17:53:02.506 INFO [stderr] usermod: no changes
Dec 03 17:53:02.639 INFO [stderr]    Compiling boolean_expression v0.3.8 (/source)
Dec 03 17:53:08.643 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.11s
Dec 03 17:53:08.647 INFO [stderr] su: No module specific data is present
Dec 03 17:53:09.449 INFO running `"docker" "inspect" "9dec78fcc76424a6872691941db75ff8ea82115defba147f5197bde8b3c803d6"`
Dec 03 17:53:09.799 INFO running `"docker" "rm" "-f" "9dec78fcc76424a6872691941db75ff8ea82115defba147f5197bde8b3c803d6"`
Dec 03 17:53:10.099 INFO [stdout] 9dec78fcc76424a6872691941db75ff8ea82115defba147f5197bde8b3c803d6
Dec 03 17:53:10.103 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 17:53:10.473 INFO [stdout] 1e2858f4ddae1f7e760a882a3b2906f1b057b16cf9529d1b887da3b1511ca751
Dec 03 17:53:10.497 INFO running `"docker" "start" "-a" "1e2858f4ddae1f7e760a882a3b2906f1b057b16cf9529d1b887da3b1511ca751"`
Dec 03 17:53:11.440 INFO [stderr] usermod: no changes
Dec 03 17:53:11.547 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Dec 03 17:53:11.551 INFO [stderr]      Running /target/debug/deps/boolean_expression-5936f12dced43ded
Dec 03 17:53:11.557 INFO [stdout] 
Dec 03 17:53:11.557 INFO [stdout] running 24 tests
Dec 03 17:53:11.562 INFO [stdout] test bdd::test::bdd_to_expr ... ok
Dec 03 17:53:11.562 INFO [stdout] test bdd::test::load_bdd ... ok
Dec 03 17:53:11.562 INFO [stdout] test bdd::test::sat_one ... ok
Dec 03 17:53:11.562 INFO [stdout] test bdd::test::max_sat_min_var ... ok
Dec 03 17:53:11.562 INFO [stdout] test bdd::test::persist_bdd ... ok
Dec 03 17:53:11.562 INFO [stdout] test cubes::test::cube_with_var ... ok
Dec 03 17:53:11.562 INFO [stdout] test cubes::test::cubelist_merge ... ok
Dec 03 17:53:11.562 INFO [stdout] test idd::test::test_idd_const ... ok
Dec 03 17:53:11.562 INFO [stdout] test idd::test::test_idd_eq ... ok
Dec 03 17:53:11.562 INFO [stdout] test idd::test::test_idd_from_bdd ... ok
Dec 03 17:53:11.562 INFO [stdout] test idd::test::test_idd_max_value ... ok
Dec 03 17:53:11.562 INFO [stdout] test idd::test::test_idd_term ... ok
Dec 03 17:53:11.562 INFO [stdout] test simplify::test::demorgan_and ... ok
Dec 03 17:53:11.562 INFO [stdout] test simplify::test::demorgan_or ... ok
Dec 03 17:53:11.571 INFO [stdout] test bdd::test::bdd_eval ... ok
Dec 03 17:53:11.571 INFO [stdout] test bdd::test::dot_output ... ok
Dec 03 17:53:11.571 INFO [stdout] test simplify::test::shortcircuit_or ... ok
Dec 03 17:53:11.571 INFO [stdout] test simplify::test::distributive_law ... ok
Dec 03 17:53:11.571 INFO [stdout] test cubes::test::cube_eq ... ok
Dec 03 17:53:11.571 INFO [stdout] test cubes::test::cube_merge ... ok
Dec 03 17:53:11.574 INFO [stdout] test cubes::test::cube_ord ... ok
Dec 03 17:53:11.580 INFO [stdout] test simplify::test::shortcircuit_and ... ok
Dec 03 17:53:11.580 INFO [stdout] test bdd::test::max_sat ... ok
Dec 03 17:53:11.689 INFO [stdout] test bdd::test::bdd_exhaustive_exprs ... ok
Dec 03 17:53:11.689 INFO [stdout] 
Dec 03 17:53:11.689 INFO [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 17:53:11.689 INFO [stdout] 
Dec 03 17:53:11.691 INFO [stderr]    Doc-tests boolean_expression
Dec 03 17:53:14.183 INFO [stdout] 
Dec 03 17:53:14.183 INFO [stdout] running 2 tests
Dec 03 17:53:19.359 INFO [stdout] test src/expr.rs - expr::Expr<T>::simplify_via_bdd (line 159) ... ok
Dec 03 17:53:19.423 INFO [stdout] test src/expr.rs - expr::Expr<T>::simplify_via_laws (line 130) ... ok
Dec 03 17:53:19.423 INFO [stdout] 
Dec 03 17:53:19.423 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 17:53:19.423 INFO [stdout] 
Dec 03 17:53:19.433 INFO [stderr] su: No module specific data is present
Dec 03 17:53:19.771 INFO running `"docker" "inspect" "1e2858f4ddae1f7e760a882a3b2906f1b057b16cf9529d1b887da3b1511ca751"`
Dec 03 17:53:19.854 INFO running `"docker" "rm" "-f" "1e2858f4ddae1f7e760a882a3b2906f1b057b16cf9529d1b887da3b1511ca751"`
Dec 03 17:53:19.974 INFO [stdout] 1e2858f4ddae1f7e760a882a3b2906f1b057b16cf9529d1b887da3b1511ca751
